7.7 基本矩阵

线性微分方程组结构可以通过引入基本矩阵概念来进一步阐明。假设 x(1)(t),,x(n)(t)\mathbf{x}^{(1)}(t), \ldots, \mathbf{x}^{(n)}(t) 构成方程

x=P(t)x\begin{equation*} \mathbf{x}^{\prime}=\mathbf{P}(t) \mathbf{x} \tag{1} \end{equation*}

在某个区间 α<t<β\alpha<t<\beta 上的一个基本解集。那么矩阵

Ψ(t)=(x(1)(t)x(2)(t)x(n)(t))=(x1(1)(t)x1(n)(t)xn(1)(t)xn(n)(t))(2)\Psi(t)=\left(\mathbf{x}^{(1)}(t)\left|\mathbf{x}^{(2)}(t)\right| \cdots \mid \mathbf{x}^{(n)}(t)\right)=\left(\begin{array}{lll} x_{1}^{(1)}(t) & \cdots & x_{1}^{(n)}(t) \tag{2}\\ \vdots & & \vdots \\ x_{n}^{(1)}(t) & \cdots & x_{n}^{(n)}(t) \end{array}\right)

列向量x(1)(t),,x(n)(t)\mathbf{x}^{(1)}(t), \ldots, \mathbf{x}^{(n)}(t),被称为系统 (1) 的一个基本矩阵。注意,一个基本矩阵非奇异的,因为它的线性无关向量

示例 1

系统

x=(1141)x(3)\mathbf{x}^{\prime}=\left(\begin{array}{ll} 1 & 1 \tag{3}\\ 4 & 1 \end{array}\right) \mathbf{x}

的一个基本矩阵fundamental matrix

在 7.5 示例 2 中,我们发现

x(1)(t)=(e3t2e3t),x(2)(t)=(et2et)\mathbf{x}^{(1)}(t)=\binom{e^{3 t}}{2 e^{3 t}}, \quad \mathbf{x}^{(2)}(t)=\binom{e^{-t}}{-2 e^{-t}}

方程 (3) 的线性无关解。因此,系统 (3) 的一个基本矩阵

Ψ(t)=(e3tet2e3t2et)(4)\boldsymbol{\Psi}(t)=\left(\begin{array}{rr} e^{3 t} & e^{-t} \tag{4}\\ 2 e^{3 t} & -2 e^{-t} \end{array}\right)

初始值问题可以用基本矩阵非常紧凑地写出。方程 (1) 的通解

x=c1x(1)(t)++cnx(n)(t)\begin{equation*} \mathbf{x}=c_{1} \mathbf{x}^{(1)}(t)+\cdots+c_{n} \mathbf{x}^{(n)}(t) \tag{5} \end{equation*}

或者,用 Ψ(t)\boldsymbol{\Psi}(t) 表示,

x=Ψ(t)c\begin{equation*} \mathbf{x}=\mathbf{\Psi}(t) \mathbf{c} \tag{6} \end{equation*}

其中 c\mathbf{c} 是一个具有任意分量 c1,,cnc_{1}, \ldots, c_{n}常数向量。对于一个由微分方程 (1) 和初始条件

x(t0)=x0\begin{equation*} \mathbf{x}\left(t_{0}\right)=\mathbf{x}^{0} \tag{7} \end{equation*}

组成的初始值问题,其中 t0t_{0}α<t<β\alpha<t<\beta 中的给定,而 x0\mathbf{x}^{0} 是给定的初始向量,只需选择方程 (6) 中的向量 c\mathbf{c} 以满足初始条件 (7)。因此,c\mathbf{c} 必须满足

Ψ(t0)c=x0.\begin{equation*} \boldsymbol{\Psi}\left(t_{0}\right) \mathbf{c}=\mathbf{x}^{0} . \tag{8} \end{equation*}

因此,由于 Ψ(t0)\boldsymbol{\Psi}\left(t_{0}\right)非奇异的,

c=Ψ1(t0)x0\begin{equation*} \mathbf{c}=\boldsymbol{\Psi}^{-1}\left(t_{0}\right) \mathbf{x}^{0} \tag{9} \end{equation*}

并且

x=Ψ(t)Ψ1(t0)x0\begin{equation*} \mathbf{x}=\boldsymbol{\Psi}(t) \Psi^{-1}\left(t_{0}\right) \mathbf{x}^{0} \tag{10} \end{equation*}

初始值问题 (1), (7) 的。但是,我们强调,为了解决给定的初始值问题,我们通常会通过行约简求解方程 (8),然后在方程 (6) 中代入 c\mathbf{c},而不是计算 Ψ1(t0)\Psi^{-1}\left(t_{0}\right) 并使用方程 (10)。

回想一下,基本矩阵 Ψ\Psi 的每一都是方程 (1) 的。由此得出 Ψ\boldsymbol{\Psi} 满足矩阵微分方程

Ψ=P(t)Ψ\begin{equation*} \boldsymbol{\Psi}^{\prime}=\mathbf{P}(t) \Psi \tag{11} \end{equation*}

通过逐比较方程 (11) 的两边,可以很容易地证实这种关系

有时,使用特殊的的基本矩阵(用 Φ(t)\Phi(t) 表示)会比较方便,该矩阵定理 7.4.4 中指定的向量 x(1)(t),,x(n)(t)\mathbf{x}^{(1)}(t), \ldots, \mathbf{x}^{(n)}(t)。除了微分方程 (1) 之外,这些向量还满足初始条件

x(j)(t0)=e(j)\begin{equation*} \mathbf{x}^{(j)}\left(t_{0}\right)=\mathbf{e}^{(j)} \tag{12} \end{equation*}

其中 e(j)\mathbf{e}^{(j)}定理 7.4.4 中定义的单位向量,在第 jth j^{\text {th }}位置为 1,其他位置为零。因此,Φ(t)\boldsymbol{\Phi}(t) 具有以下属性

Φ(t0)=(100010001)=I(13)\Phi\left(t_{0}\right)=\left(\begin{array}{cccc} 1 & 0 & \cdots & 0 \tag{13}\\ 0 & 1 & \cdots & 0 \\ \vdots & \vdots & & \vdots \\ 0 & 0 & \cdots & 1 \end{array}\right)=\mathbf{I}

我们将始终保留符号 Φ\Phi 来表示满足初始条件 (13) 的基本矩阵,并在需要任意基本矩阵时使用 Ψ\Psi。用 Φ(t)\Phi(t) 表示,初始值问题 (1), (7) 的看起来甚至更简单;因为 Φ1(t0)=I\Phi^{-1}\left(t_{0}\right)=\mathbf{I},所以从方程 (10) 可以得出

x=Φ(t)x0\begin{equation*} \mathbf{x}=\boldsymbol{\Phi}(t) \mathbf{x}^{0} \tag{14} \end{equation*}

虽然基解矩阵 Φ(t)\boldsymbol{\Phi}(t) 通常比 Ψ(t)\boldsymbol{\Psi}(t) 更复杂,但如果要反复求解具有许多不同初始条件的同一微分方程组,它特别有用。这对应于一个给定的物理系统,可以从许多不同的初始状态启动。如果已经确定了基解矩阵 Φ(t)\boldsymbol{\Phi}(t),那么可以通过简单的矩阵乘法找到每组初始条件,如公式 (14) 所示。因此,矩阵 Φ(t)\Phi(t) 表示将初始条件 x0\mathbf{x}^{0} 变换为任意时间 tt 时的 x(t)\mathbf{x}(t)。比较公式 (10) 和 (14) 可以清楚地看出 Φ(t)=Ψ(t)Ψ1(t0)\boldsymbol{\Phi}(t)=\boldsymbol{\Psi}(t) \boldsymbol{\Psi}^{-1}\left(t_{0}\right)

示例 2

对于示例 1 中的系统 (3)

x=(1141)x\mathbf{x}^{\prime}=\left(\begin{array}{ll} 1 & 1 \\ 4 & 1 \end{array}\right) \mathbf{x}

基解矩阵fundamental matrix Φ\Phi,使得 Φ(0)=I\boldsymbol{\Phi}(0)=\mathbf{I}

Φ\boldsymbol{\Phi}方程 (3) 的,满足初始条件

x(1)(0)=(10),x(2)(0)=(01)\begin{equation*} \mathbf{x}^{(1)}(0)=\binom{1}{0}, \quad \mathbf{x}^{(2)}(0)=\binom{0}{1} \tag{15} \end{equation*}

由于方程 (3) 的通解

x=c1(12)e3t+c2(12)et,\mathbf{x}=c_{1}\binom{1}{2} e^{3 t}+c_{2}\binom{1}{-2} e^{-t},

我们可以通过选择 c1=c2=12c_{1}=c_{2}=\frac{1}{2} 来找到满足第一组初始条件;类似地,通过选择 c1=14c_{1}=\frac{1}{4}c2=14c_{2}=-\frac{1}{4} 来获得满足第二组初始条件。因此

Φ(t)=(12e3t+12et14e3t14ete3tet12e3t+12et)(16)\boldsymbol{\Phi}(t)=\left(\begin{array}{ll} \frac{1}{2} e^{3 t}+\frac{1}{2} e^{-t} & \frac{1}{4} e^{3 t}-\frac{1}{4} e^{-t} \tag{16}\\ e^{3 t}-e^{-t} & \frac{1}{2} e^{3 t}+\frac{1}{2} e^{-t} \end{array}\right)

请注意,Φ(t)\boldsymbol{\Phi}(t)元素公式 (4) 给出的基解矩阵 Ψ(t)\boldsymbol{\Psi}(t)元素更复杂;但是,现在很容易确定对应于任何一组初始条件

矩阵 exp(At)\exp (\mathbf{A} t)。回顾一下,标量初值问题

x=ax,x(0)=x0,\begin{equation*} x^{\prime}=a x, \quad x(0)=x_{0}, \tag{17} \end{equation*}

其中 aa 是一个常数,其

x=x0exp(at)\begin{equation*} x=x_{0} \exp (a t) \tag{18} \end{equation*}

现在考虑 n×nn \times n 系统的相应初值问题,即

x=Ax,x(0)=x0,\begin{equation*} \mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}, \quad \mathbf{x}(0)=\mathbf{x}^{0}, \tag{19} \end{equation*}

其中 A\mathbf{A} 是一个常数矩阵。将本结果应用于初值问题 (19),我们可以将其写为

x=Φ(t)x0\begin{equation*} \mathbf{x}=\boldsymbol{\Phi}(t) \mathbf{x}^{0} \tag{20} \end{equation*}

其中 Φ(0)=I\boldsymbol{\Phi}(0)=\mathbf{I}。比较初值问题 (17) 和 (19) 及其 (18) 和 (20),表明矩阵 Φ(t)\boldsymbol{\Phi}(t) 可能具有指数特征。现在我们来探讨这种可能性

标量指数函数 exp(at)\exp (a t) 可以用幂级数表示

exp(at)=1+n=1antnn!=1+at+a2t22!++antnn!+,\begin{equation*} \exp (a t)=1+\sum_{n=1}^{\infty} \frac{a^{n} t^{n}}{n!}=1+a t+\frac{a^{2} t^{2}}{2!}+\cdots+\frac{a^{n} t^{n}}{n!}+\cdots, \tag{21} \end{equation*}

级数对所有 tt 都收敛。现在让我们用 n×nn \times n 常数矩阵 A\mathbf{A} 替换标量 aa,用 n×nn \times n 单位矩阵 I\mathbf{I} 替换标量 1,并考虑相应的级数

I+n=1Antnn!=I+At+A2t22!++Antnn!+\begin{equation*} \mathbf{I}+\sum_{n=1}^{\infty} \frac{\mathbf{A}^{n} t^{n}}{n!}=\mathbf{I}+\mathbf{A} t+\frac{\mathbf{A}^{2} t^{2}}{2!}+\cdots+\frac{\mathbf{A}^{n} t^{n}}{n!}+\cdots \tag{22} \end{equation*}

级数 (22) 中的每一项都是一个 n×nn \times n 矩阵。可以证明,当 nn \rightarrow \infty 时,该矩阵和的每个元素都对所有 tt 收敛。因此,级数 (22) 定义了一个新矩阵作为其和,我们用 exp(At)\exp (\mathbf{A} t) 表示;也就是说,

exp(At)=I+n=1Antnn!\begin{equation*} \exp (\mathbf{A} t)=\mathbf{I}+\sum_{n=1}^{\infty} \frac{\mathbf{A}^{n} t^{n}}{n!} \tag{23} \end{equation*}

类似于标量函数 exp(at)\exp (a t) 的展开式 (21)。

通过对级数 (23) 逐项求导,我们得到

ddtexp(At)=n=1Antn1(n1)!=A(I+n=1Antnn!)=Aexp(At)\begin{equation*} \frac{d}{d t} \exp (\mathbf{A} t)=\sum_{n=1}^{\infty} \frac{\mathbf{A}^{n} t^{n-1}}{(n-1)!}=\mathbf{A}\left(\mathbf{I}+\sum_{n=1}^{\infty} \frac{\mathbf{A}^{n} t^{n}}{n!}\right)=\mathbf{A} \exp (\mathbf{A} t) \tag{24} \end{equation*}

因此,exp(At)\exp (\mathbf{A} t) 满足微分方程

ddtexp(At)=Aexp(At)\begin{equation*} \frac{d}{d t} \exp (\mathbf{A} t)=\mathbf{A} \exp (\mathbf{A} t) \tag{25} \end{equation*}

此外,通过在公式 (23) 中设置 t=0t=0,我们发现 exp(At)\exp (\mathbf{A} t) 满足初始条件

exp(At)t=0=I+n=1An0nn!=I\begin{equation*} \left.\exp (\mathbf{A} t)\right|_{t=0}=\mathbf{I}+\sum_{n=1}^{\infty} \frac{\mathbf{A}^{n} 0^{n}}{n!}=\mathbf{I} \tag{26} \end{equation*}

基本矩阵 Φ\boldsymbol{\Phi} 满足与 exp(At)\exp (\mathbf{A} t) 相同的初值问题,即,

Φ=AΦ,Φ(0)=I\begin{equation*} \Phi^{\prime}=\mathbf{A} \Phi, \quad \Phi(0)=\mathbf{I} \tag{27} \end{equation*}

然后,根据定理 7.1.2 的唯一性部分(扩展到矩阵微分方程),我们得出结论:exp(At)\exp (\mathbf{A} t)基本矩阵 Φ(t)\boldsymbol{\Phi}(t) 是相同的。因此,我们可以将初值问题 (19) 的写成如下形式:

x=exp(At)x0\begin{equation*} \mathbf{x}=\exp (\mathbf{A} t) \mathbf{x}^{0} \tag{28} \end{equation*}

这类似于初值问题 (17) 的 (18)。为了更有说服力地证明使用 exp(At)\exp (\mathbf{A} t) 来表示级数 (22) 的和,我们应该证明这个矩阵函数确实具有我们与指数函数相关联的性质问题 12 中概述了一种方法可以做到这一点。

可对角化矩阵线性代数微分方程组出现一些困难基本原因是这些方程通常是耦合的。换句话说,一些或所有方程都包含多个——通常是全部——未知变量。因此,必须同时求解系统中的方程。相反,如果每个方程只涉及单个变量,那么每个方程都可以独立于所有其他方程求解,这是一个容易得多的任务。这个观察结果表明,解决方程组的一种方法可能是将其转换为等价的非耦合系统,其中每个方程只包含一个未知变量。这对应于将系数矩阵 A\mathbf{A} 转换为对角矩阵

特征向量在完成这种转换中很有用。假设 n×nn \times n 矩阵 A\mathbf{A} 具有完整的 nn 个线性无关的特征向量集合。回想一下,如果 A\mathbf{A}特征值都不同,或者如果 A\mathbf{A}埃尔米特矩阵,那么肯定会是这种情况。令 ξ(1),,ξ(n)\boldsymbol{\xi}^{(1)}, \ldots, \boldsymbol{\xi}^{(n)} 表示这些特征向量λ1,,λn\lambda_{1}, \ldots, \lambda_{n} 表示相应的特征值,形成矩阵 T\mathbf{T},其特征向量——即,

T=(ξ1(1)ξ1(n)ξn(1)ξn(n))(29)\mathbf{T}=\left(\begin{array}{ccc} \xi_{1}^{(1)} & \cdots & \xi_{1}^{(n)} \tag{29}\\ \vdots & & \vdots \\ \xi_{n}^{(1)} & \cdots & \xi_{n}^{(n)} \end{array}\right)

由于 T\mathbf{T}是线性无关的向量,所以 detT0\operatorname{det} \mathbf{T} \neq 0;因此 T\mathbf{T} 是非奇异的,T1\mathbf{T}^{-1} 存在。一个简单的计算表明,矩阵 AT 的恰好是向量 Aξ(1),,Aξ(n)\mathbf{A} \boldsymbol{\xi}^{(1)}, \ldots, \mathbf{A} \boldsymbol{\xi}^{(n)}。由于 Aξ(k)=λkξ(k)\mathbf{A} \boldsymbol{\xi}^{(k)}=\lambda_{k} \boldsymbol{\xi}^{(k)},因此有

AT=(λ1ξ1(1)λnξ1(n)λ1ξn(1)λnξn(n))=TD(30)\mathbf{A T}=\left(\begin{array}{ccc} \lambda_{1} \xi_{1}^{(1)} & \cdots & \lambda_{n} \xi_{1}^{(n)} \tag{30}\\ \vdots & & \vdots \\ \lambda_{1} \xi_{n}^{(1)} & \cdots & \lambda_{n} \xi_{n}^{(n)} \end{array}\right)=\mathbf{T D}

其中

D=(λ1000λ2000λn)(31)\mathbf{D}=\left(\begin{array}{cccc} \lambda_{1} & 0 & \cdots & 0 \tag{31}\\ 0 & \lambda_{2} & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & \lambda_{n} \end{array}\right)

是一个对角矩阵,其对角元素A\mathbf{A}特征值。从方程 (30) 可以得出

T1AT=D\begin{equation*} \mathbf{T}^{-1} \mathbf{A} \mathbf{T}=\mathbf{D} \tag{32} \end{equation*}

因此,如果已知 A\mathbf{A}特征值特征向量,则可以通过方程 (32) 所示的过程A\mathbf{A} 转换为对角矩阵。此过程称为相似变换方程 (32) 用以下话语总结:A\mathbf{A} 类似于对角矩阵 D\mathbf{D}。或者,我们可以说 A\mathbf{A} 是可对角化的。观察到相似变换不会改变 A\mathbf{A}特征值,并将它的特征向量变换为坐标向量 e(1),,e(n)\mathbf{e}^{(1)}, \ldots, \mathbf{e}^{(n)}

如果 A\mathbf{A}埃尔米特矩阵,那么 T1\mathbf{T}^{-1} 的确定非常简单。已知 A\mathbf{A}特征向量 ξ(1),,ξ(n)\boldsymbol{\xi}^{(1)}, \ldots, \boldsymbol{\xi}^{(n)} 彼此正交,所以让我们选择它们,使它们也通过 (ξ(i),ξ(i))=1\left(\boldsymbol{\xi}^{(i)}, \boldsymbol{\xi}^{(i)}\right)=1 对于每个 ii 进行了归一化。然后很容易验证 T1=T\mathbf{T}^{-1}=\mathbf{T}^{*};换句话说,T\mathbf{T}逆矩阵与其伴随矩阵(其复共轭的转置)相同。

最后,我们注意到,如果 A\mathbf{A} 具有少于 nn 个线性无关的特征向量,则不存在矩阵 T\mathbf{T} 使得 T1AT=D\mathbf{T}^{-1} \mathbf{A T}=\mathbf{D}。在这种情况下,A\mathbf{A} 不相似于对角矩阵,并且不可对角化。这种情况将在第 7.8 节中进行更详细的讨论。

示例 3

考虑矩阵

A=(1141)(33)\mathbf{A}=\left(\begin{array}{ll} 1 & 1 \tag{33}\\ 4 & 1 \end{array}\right)

相似变换矩阵 T\mathbf{T} 并证明 A\mathbf{A} 可以对角化。

在第 7.5 节的示例 2 中,我们发现 A\mathbf{A}特征值特征向量

r1=3,ξ(1)=(12) 并且 r2=1,ξ(2)=(12).\begin{equation*} r_{1}=3, \quad \xi^{(1)}=\binom{1}{2} \quad \text { 并且 } \quad r_{2}=-1, \quad \xi^{(2)}=\binom{1}{-2} . \tag{34} \end{equation*}

因此,变换矩阵 T\mathbf{T} 及其逆矩阵 T1\mathbf{T}^{-1}

T=(1122) 并且 T1=(12141214).(35)\mathbf{T}=\left(\begin{array}{rr} 1 & 1 \tag{35}\\ 2 & -2 \end{array}\right) \quad \text { 并且 } \quad \mathbf{T}^{-1}=\left(\begin{array}{rr} \frac{1}{2} & \frac{1}{4} \\ \frac{1}{2} & -\frac{1}{4} \end{array}\right) .

因此,您可以验证

T1AT=(3001)=D.(36)\mathbf{T}^{-1} \mathbf{A T}=\left(\begin{array}{rr} 3 & 0 \tag{36}\\ 0 & -1 \end{array}\right)=\mathbf{D} .

现在让我们再次转向系统

x=Ax\begin{equation*} \mathbf{x}^{\prime}=\mathbf{A} \mathbf{x} \tag{37} \end{equation*}

其中 A\mathbf{A} 是一个常数矩阵。在第 7.5 节和第 7.6 节中,我们描述了如何通过从假设 x=ξert\mathbf{x}=\xi e^{r t} 出发来求解这样的系统。现在我们提供另一种观点,一种基于对角化系数矩阵 A\mathbf{A}观点

根据本节前面陈述的结果,只要 A\mathbf{A} 具有完整的 nn 个线性无关的特征向量集合,就可以对角化 A\mathbf{A}。令 ξ(1),,ξ(n)\boldsymbol{\xi}^{(1)}, \ldots, \boldsymbol{\xi}^{(n)}A\mathbf{A} 对应于特征值 r1,rnr_{1} \cdots, r_{n}特征向量,并形成变换矩阵 T\mathbf{T},其ξ(1),,ξ(n)\boldsymbol{\xi}^{(1)}, \ldots, \boldsymbol{\xi}^{(n)}。然后,通过关系式

x=Ty\begin{equation*} \mathbf{x}=\mathbf{T y} \tag{38} \end{equation*}

定义一个新的因变量 y\mathbf{y},我们从方程 (37) 得到

Ty=ATy\begin{equation*} \mathbf{T y}^{\prime}=\mathbf{A} \mathbf{T} \mathbf{y} \tag{39} \end{equation*}

乘以 T1\mathbf{T}^{-1},我们得到

y=(T1AT)y\begin{equation*} \mathbf{y}^{\prime}=\left(\mathbf{T}^{-1} \mathbf{A} \mathbf{T}\right) \mathbf{y} \tag{40} \end{equation*}

或者,使用方程 (32),

y=Dy\begin{equation*} \mathbf{y}^{\prime}=\mathbf{D y} \tag{41} \end{equation*}

回想一下,D\mathbf{D}对角矩阵,其对角线上是 A\mathbf{A}特征值 r1,,rnr_{1}, \ldots, r_{n}系统 (41) 的一个基本矩阵对角矩阵(参见问题 13)

(er1t000er2t000ernt)(42)\begin{pmatrix} e^{r_1 t} & 0 & \ldots & 0 \\ 0 & e^{r_2 t} & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & e^{r_n t} \end{pmatrix} \tag{42}

然后,通过变换 (38) 从 Q\mathbf{Q} 找到系统 (37) 的基本矩阵 Ψ\boldsymbol{\Psi}

Ψ=TQ\begin{equation*} \Psi=\mathbf{T Q} \tag{43} \end{equation*}

也就是说,

Ψ(t)=(ξ1(1)er1tξ1(n)erntξn(1)er1tξn(n)ernt)(44)\Psi(t)=\left(\begin{array}{ccc} \xi_{1}^{(1)} e^{r_{1} t} & \cdots & \xi_{1}^{(n)} e^{r_{n} t} \tag{44}\\ \vdots & & \vdots \\ \xi_{n}^{(1)} e^{r_{1} t} & \cdots & \xi_{n}^{(n)} e^{r_{n} t} \end{array}\right)

Ψ(t)\boldsymbol{\Psi}(t)与第 7.5 方程 (27) 中的相同。因此,对角化过程并没有比第 7.5 方法提供任何计算上的优势,因为无论哪种情况,都需要计算微分方程组系数矩阵特征值特征向量

示例 4

再次考虑微分方程组

x=Ax,\begin{equation*} \mathbf{x}^{\prime}=\mathbf{A x}, \tag{45} \end{equation*}

其中 A\mathbf{A}方程 (33) 给出。使用变换 x=Ty\mathbf{x}=\mathbf{T y},其中 T\mathbf{T}方程 (35) 给出,系统 (45) 简化为对角系统

y=(3001)y=Dy(46)\mathbf{y}^{\prime}=\left(\begin{array}{rr} 3 & 0 \tag{46}\\ 0 & -1 \end{array}\right) \mathbf{y}=\mathbf{D} \mathbf{y}

获得系统 (46) 的基本矩阵,然后对其进行变换以获得原始系统 (45) 的基本矩阵

通过将 D\mathbf{D} 重复地与其自身相乘,我们发现

D2=(9001),D3=(27001),(47)\mathbf{D}^{2}=\left(\begin{array}{ll} 9 & 0 \tag{47}\\ 0 & 1 \end{array}\right), \quad \mathbf{D}^{3}=\left(\begin{array}{rr} 27 & 0 \\ 0 & -1 \end{array}\right), \ldots

因此,从方程 (23) 可以得出,exp(Dt)\exp (\mathbf{D} t) 是一个对角矩阵对角线上的元素e3te^{3 t}ete^{-t};也就是说,

eDt=(e3t00et)(48)e^{\mathbf{D} t}=\left(\begin{array}{rr} e^{3 t} & 0 \tag{48}\\ 0 & e^{-t} \end{array}\right)

最后,通过将 T\mathbf{T}exp(Dt)\exp (\mathbf{D} t) 相乘,我们得到所需要的基解矩阵 Ψ(t)\boldsymbol{\Psi}(t)

Ψ(t)=(1122)(e3t00et)=(e3tet2e3t2et)(49)\Psi(t)=\left(\begin{array}{rr} 1 & 1 \tag{49}\\ 2 & -2 \end{array}\right)\left(\begin{array}{rr} e^{3 t} & 0 \\ 0 & e^{-t} \end{array}\right)=\left(\begin{array}{rr} e^{3 t} & e^{-t} \\ 2 e^{3 t} & -2 e^{-t} \end{array}\right)

观察到,这个基解矩阵1中找到的相同。